"Joost-Pieter Katoen" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

4.40 Mb

#2

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

5.15 Mb

#3

CONCUR 2011 -- Concurrency Theory

Joost-Pieter Katoen, Barbara König

5.82 Mb

#4

Tools and Algorithms for the Construction and Analysis of Systems, 8 conf., TACAS 2002

Joost-Pieter Katoen, Perdita Stevens

Категория: Cs_Computer science, CsLn_Lecture notes

3.37 Mb

#5

Lectures on Formal Methods and Performance Analysis, 1 school, 2000

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

Категория: Cs_Computer science, CsLn_Lecture notes

3.80 Mb

#6

Model-Based Testing of Reactive Systems, Advanced Lectures 2004

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Категория: CsLn_

5.87 Mb

#7

Validation of Stochastic Systems - A Guide to Current Research

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

Категория: CsLn_

5.22 Mb

#8

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Категория: Computer science

17.08 Mb

#9

Model-Based Testing of Reactive Systems: Advanced Lectures

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

5.92 Mb